Entwurf Verteilter Systeme Im Sonderforschungsbereich 342 a 1 A3 a 5 Sfbb 342 Focus

Characterizing the Behavior of Reactive Systems by Trace Sets*

The behavior of an asynchronous reactive system can be described by its set of action traces. In this paper, we investigate which properties a trace set fulfills describing a reactive system where input and output actions are distinguished. These properties reflect the fact that, for such a system, input actions can always occur. The required properties are discussed in the light of safety and ...

Vorwort: Dezentralität als Entwurfsprinzip: Anwendungskonzepte und Vorgehensweisen für dezentrale Informationssysteme

Spätestens mit der Entstehung des Internet ist Dezentralität als ein wesentliches Prinzip für den Entwurf komplexer verteilter Systeme und für das Management globaler und dynamischer Netzwerke bekannt und etabliert. Systeme und Netzwerke, die auf dezentralen Konzepten beruhen, haben viele Vorteile gegenüber zentralen Architekturen: Sie sind robuster, wandlungsfähiger und weniger leicht durch An...

FG 2.1.9: Bericht vom 8. Workshop des GI-Arbeitskreises GROOM am 13. und 14. November 2000 in Münster

Die praktische Bedeutung von nebenläufigen und verteilten Software-Systemen hat in den letzten Jahren stetig zugenommen. Hintergrund dessen ist u.a. der Wunsch nach unternehmensweit (und auch darüber hinaus) verbundener Infrastruktur, die Verfügbarkeit leistungsfähiger und bezahlbarer Netzwerkund Rechnertechnik sowie die allgemeine Durchdringung von immer mehr Lebensbereichen durch Kommunikatio...

Formale Verifikation eingebetteter Systeme

Dr. rer. nat. Viktor Sabelfeld studierte von 1966 bis 1971 Mathematik und arbeitete dann bis 1996 an der Universität Nowosibirsk als Professor. Sein Forschungsgebiet liegt auf den äquivalenten Programmtransformationen. Seit November 1997 arbeitet er am IRF. Dr. rer. nat. Michaela Huhn studierte 1985-1992 Informatik in Erlangen und arbeitete bis 1997 an der Universität Hildesheim im Themengebiet...

Fehlertoleranz durch automatisierte Diversität im Management verteilter nebenläufiger Systeme